Solving Real Polynomial Systems with Real Homotopies
نویسندگان
چکیده
منابع مشابه
Solving Real Polynomial Systems with Real Homotopies
When a real homotopy is used for solving a polynomial system with real coefficients, bifurcation of some of the homotopy paths at singular points is inevitable. The main result of this paper shows that, generically, the solution set of a real homotopy contains no singular point other than a finite number of quadratic turning points. At a quadratic turning point, the bifurcation phenomenon is qu...
متن کاملRegenerative cascade homotopies for solving polynomial systems
A key step in the numerical computation of the irreducible decomposition of a polynomial system is the computation of a witness superset of the solution set. In many problems involving a solution set of a polynomial system, the witness superset contains all the needed information. Sommese and Wampler gave the first numerical method to compute witness supersets, based on dimension-by-dimension s...
متن کاملReal Solving of Bivariate Polynomial Systems
We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means isolating all common real solutions in rational rectangles and calculating the respective multiplicities. Second, the computation of the sign of bivariate polynomials evaluated at two algebraic numbers of arbitrary degree. Our ...
متن کاملHomotopies for Solving Polynomial Systems Within a Bounded Domain
The problem considered in this paper is the computation of all solutions of a given polynomial system in a bounded domain. Proving Rouché’s Theorem by homotopy continuation concepts yields a new class of homotopy methods, the socalled regional homotopy methods. These methods rely on isolating a part of the system to be solved, which dominates the rest of the system on the border of the domain. ...
متن کاملOn the Complexity of Real Solving of Bivariate Polynomial Systems
In this paper we present algorithmic and complexity results for polynomial sign evaluation over two real algebraic numbers, and for real solving of bivariate polynomial systems. Our main tool is signed polynomial remainder sequences; we exploit recent advances in univariate root isolation as well as multipoint evaluation techniques.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1993
ISSN: 0025-5718
DOI: 10.2307/2153108